Language and Computation (LaCo) | Logic and Language (LoLa) | Logic and Computation (LoCo) | |
---|---|---|---|
2021-08-05T09:45:00+02:00 - 2021-08-05T11:15:00+02:00 09:45 - 11:15 |
From Proof Nets to Combinatorial Proofs — A new approach to Hilbert’s 24th problem Willem Heijltjes, Lutz Straßburger Advanced | ||
2021-08-05T11:30:00+02:00 - 2021-08-05T13:00:00+02:00 11:30 - 13:00 |
Theoretical and Methodological Approaches to Animal Semantics: a Super Linguistic Introduction Patrick Georg Grosz, Mélissa Berthet Introductory | ||
2021-08-05T13:00:00+02:00 - 2021-08-05T14:00:00+02:00 13:00 - 14:00 | break | ||
2021-08-05T14:00:00+02:00 - 2021-08-05T15:30:00+02:00 14:00 - 15:30 | |||
2021-08-05T16:00:00+02:00 - 2021-08-05T17:30:00+02:00 16:00 - 17:30 |
Information Theory in Linguistics: Methods and Applications Adina Williams, Ryan Cotterell, Richard Futrell Advanced | ||
2021-08-05T18:00:00+02:00 - 2021-08-05T19:00:00+02:00 18:00 - 19:00 |
Event: Let's meet |